1. Programmverifikation :
پدیدآورنده : Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Oprogramowanie -- weryfikacja.
رده :
QA76
.
9
.
A73
K799
1994
